- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by M. D. Gladstone
19 found
Order:
- Simplifications of the recursion scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.
- A reduction of the recursion scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.
- On the number of variables in the axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.
- The decidability of one-variable propositional calculi.M. D. Gladstone - 1979 - Notre Dame Journal of Formal Logic 20 (2):438-450.
- Finite models for inequations.M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (4):581-592.
- A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
- Meeting of the association for symbolic logic.J. C. Shepherdson, S. Körner & M. D. Gladstone - 1964 - Journal of Symbolic Logic 29 (4):218-228.
- Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 , pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
- Hughes G. E.. The independence of axioms in the propositional calculus. The Australasian journal of philosophy, vol. 35 , pp. 21–29. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
- Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 , pp. 310–312. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584.
- Mary Katherine Yntema. A detailed argument for the Post-Linial theorems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 37–50. [REVIEW]M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (1):117-118.
- Philip K. Hooper. Monogenic Post normal systems of arbitrary degree. Journal of the Association for Computing Machinery, vol. 13 , pp. 359–363. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
- Review: Ann Yasuhara, A Remark on Post Normal Systems. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.Export citation
Bookmark - Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417-417.
- Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
- Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
- Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
- Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
- Yasuhara Ann. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 , pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-g9ljc uwo